On products of profinite groups

On finitely generated profinite groups, II: products in quasisimple groups

We prove two results. (1) There is an absolute constant D such that for any finite quasisimple group S, given 2D arbitrary automorphisms of S, every element of S is equal to a product of D ‘twisted commutators’ defined by the given automorphisms. (2) Given a natural number q, there exist C = C(q) and M = M(q) such that: if S is a finite quasisimple group with |S/Z(S)| > C, βj (j = 1, . . . ,M) ...

Profinite Topologies in Free Products of Groups

Let H be an abstract group and let C be a variety of finite groups (i.e., a class of finite groups closed under taking subgroups, quotients and finite direct products); for example the variety of all finite p-groups, for a fixed prime p. Consider the smallest topology on H such that all the homomorphism H −→ C from H to any group C ∈ C (endowed with the discrete topology) is continuous. We refe...

on the free profinite products of profinite groups with commuting subgroups

in this paper we introduce the construction of free profinite products of profinite groups withcommuting subgroups. we study a particular case: the proper free profinite products of profinite groups with commuting subgroups. we prove some conditions for a free profinite product of profinite groups with commuting subgroups to be proper. we derive some consequences. we also compute profinite comp...

Prosolvable Subgroups of Free Products of Profinite Groups

Profinite Groups

γ = c0 + c1p+ c2p + · · · = (. . . c3c2c1c0)p, with ci ∈ Z, 0 ≤ ci ≤ p− 1, called the digits of γ. This ring has a topology given by a restriction of the product topology—we will see this below. The ring Zp can be viewed as Z/pZ for an ‘infinitely high’ power n. This is a useful idea, for example, in the study of Diophantine equations: if such an equation has a solution in the integers, then it...